منابع مشابه
Algebraic simulations
A fruitful approach to the study of state-based systems consists in their mathematical formalization by means of models like Kripke structures, which allows to study their associated properties by means of simulations to relate them to other, possibly better-known systems [5, 7, 23]. This work tries to advance two main goals along those lines: the first, to generalize the notion of simulation b...
متن کاملTheoroidal Maps as Algebraic Simulations
Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framework in which to formally specify these mathematical models, and introduce a particular and elegant way of representing simulations in it: theoroidal maps. A categorical viewpoint is very natural in the study of these structures a...
متن کاملCompleteness of algebraic CPS simulations
The algebraic lambda calculus (λalg) and the linear algebraic lambda calculus (λlin) are two extensions of the classical lambda calculus with linear combinations of terms. They arise independently in distinct contexts: the former is a fragment of the differential lambda calculus, the latter is a candidate lambda calculus for quantum computation. They differ in the handling of application argume...
متن کاملAlgebraic distance in algebraic cone metric spaces and its properties
In this paper, we prove some properties of algebraic cone metric spaces and introduce the notion of algebraic distance in an algebraic cone metric space. As an application, we obtain some famous fixed point results in the framework of this algebraic distance.
متن کاملAdvanced Algebraic Multigrid Applicationfor the Acceleration of Groundwater Simulations
The computationally most intensive process during a groundwater simulation is the solution of linear systems of equations. This can take more than 80 percent of the overall runtime. Hence, an efficient linear solver can save an enormous amount of runtime. However, it may strongly depend on the overall simulation environment which linear solver is the most efficient one for specific linear syste...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic and Algebraic Programming
سال: 2010
ISSN: 1567-8326
DOI: 10.1016/j.jlap.2009.07.003